Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Educational games for cultural heritage
2019-01-01 Vocaturo, E.; Zumpano, E.; Caroprese, L.; Pagliuso, S. M.; Lappano, D.
Empowering ASPQ to win in QBFEval 2018
2019-01-01 Cuteri, B.; Dodaro, C.; Ricca, F.
Exotic compilers as a malware evasion technique
2019-01-01 Ianni, M.; Masciari, E.; Sacca, D.
Explaining ASP-based Operating Room Schedules
2021-01-01 Bertolucci, Riccardo; Dodaro, Carmine; Galatà, Giuseppe; Maratea, Marco; Porro, Ivan; Ricca, Francesco
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules
2022-01-01 Lukasiewicz, T.; Malizia, E.; Molinaro, C.
Explanations for Negative Query Answers under Existential Rules
2023-01-01 Ceylan, I. I.; Lukasiewicz, T.; Malizia, E.; Molinaro, C.; Vaicenavicius, A.
Exploring domain and task adaptation of LamBERTa models for article retrieval on the Italian Civil Code
2023-01-01 Simeri, A.; Tagarelli, A.
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems
2019-01-01 Ricca, Francesco
First Steps towards Reasoning on Big Data with DLV
2018-01-01 Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
A Formal Comparison between Datalog-based Languages for Stream Reasoning
2022-01-01 Leone, N.; Manna, M.; Morelli, M. C.; Perri, S.
From Node Embeddings to Triple Embeddings
2022-01-01 Fionda, Valeria; Pirro', Giuseppe
How Many Inconsistencies Are In Your Database?
2023-01-01 Parisi, F.; Grant, J.
How Modern Deductive Database Systems Can Enhance Data Integration
2018-01-01 Calimeri, F.; Perri, Simona; Terracina, G.; Zangari, J.
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector
2017-01-01 Fuscà, D.; Calimeri, F.; Perri, S.; Zangari, J.
The INCOSE Italia conference on systems engineering (CIISE 2018)
2018-01-01 Mancin, Enrico; Garro, Alfredo; Gaudenzi, Paolo; Tirone, Lucio; Fierro, Davide; Falcone, Alberto
An infrastructure for stream reasoning with incremental grounding
2019-01-01 Ianni, G.; Pacenza, F.; Zangari, J.
The ingredients of the argumentation reasoner pyglaf: Python, circumscription, and glucose to taste
2017-01-01 Alviano, M.
Introducing ASP recipes and ASP Chef
2023-01-01 Alviano, M.; Cirimele, D.; Rodriguez Reiners, L. A.
Is your argument still skeptically accepted?
2019-01-01 Alfano, G.; Greco, S.; Parisi, F.
The Italian civil code network analysis
2021-01-01 La Cava, L.; Simeri, A.; Tagarelli, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Educational games for cultural heritage | 1-gen-2019 | Vocaturo, E.; Zumpano, E.; Caroprese, L.; Pagliuso, S. M.; Lappano, D. | |
Empowering ASPQ to win in QBFEval 2018 | 1-gen-2019 | Cuteri, B.; Dodaro, C.; Ricca, F. | |
Exotic compilers as a malware evasion technique | 1-gen-2019 | Ianni, M.; Masciari, E.; Sacca, D. | |
Explaining ASP-based Operating Room Schedules | 1-gen-2021 | Bertolucci, Riccardo; Dodaro, Carmine; Galatà, Giuseppe; Maratea, Marco; Porro, Ivan; Ricca, Francesco | |
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules | 1-gen-2022 | Lukasiewicz, T.; Malizia, E.; Molinaro, C. | |
Explanations for Negative Query Answers under Existential Rules | 1-gen-2023 | Ceylan, I. I.; Lukasiewicz, T.; Malizia, E.; Molinaro, C.; Vaicenavicius, A. | |
Exploring domain and task adaptation of LamBERTa models for article retrieval on the Italian Civil Code | 1-gen-2023 | Simeri, A.; Tagarelli, A. | |
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems | 1-gen-2019 | Ricca, Francesco | |
First Steps towards Reasoning on Big Data with DLV | 1-gen-2018 | Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica | |
A Formal Comparison between Datalog-based Languages for Stream Reasoning | 1-gen-2022 | Leone, N.; Manna, M.; Morelli, M. C.; Perri, S. | |
From Node Embeddings to Triple Embeddings | 1-gen-2022 | Fionda, Valeria; Pirro', Giuseppe | |
How Many Inconsistencies Are In Your Database? | 1-gen-2023 | Parisi, F.; Grant, J. | |
How Modern Deductive Database Systems Can Enhance Data Integration | 1-gen-2018 | Calimeri, F.; Perri, Simona; Terracina, G.; Zangari, J. | |
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector | 1-gen-2017 | Fuscà, D.; Calimeri, F.; Perri, S.; Zangari, J. | |
The INCOSE Italia conference on systems engineering (CIISE 2018) | 1-gen-2018 | Mancin, Enrico; Garro, Alfredo; Gaudenzi, Paolo; Tirone, Lucio; Fierro, Davide; Falcone, Alberto | |
An infrastructure for stream reasoning with incremental grounding | 1-gen-2019 | Ianni, G.; Pacenza, F.; Zangari, J. | |
The ingredients of the argumentation reasoner pyglaf: Python, circumscription, and glucose to taste | 1-gen-2017 | Alviano, M. | |
Introducing ASP recipes and ASP Chef | 1-gen-2023 | Alviano, M.; Cirimele, D.; Rodriguez Reiners, L. A. | |
Is your argument still skeptically accepted? | 1-gen-2019 | Alfano, G.; Greco, S.; Parisi, F. | |
The Italian civil code network analysis | 1-gen-2021 | La Cava, L.; Simeri, A.; Tagarelli, A. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile